منابع مشابه
On Computer-assisted Proving the Existence of Periodic and Bounded Orbits
We announce a new result on determining the Conley index of the Poincaré map for a time-periodic non-autonomous ordinary differential equation. The index is computed using some singular cycles related to an index pair of a small-step discretization of the equation. We indicate how the result can be applied to computer-assisted proofs of the existence of bounded and periodic solutions. We provid...
متن کاملComputer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
In this paper we introduce a computational method for proving the existence of generic saddle-to-saddle connections between equilibria of first order vector fields. The first step consists of rigorously computing high order parametrizations of the local stable and unstable manifolds. If the local manifolds intersect, the NewtonKantorovich theorem is applied to validate the existence of a so-cal...
متن کاملThe Existence of Shilnikov Homoclinic Orbits in the Michelson System: A Computer Assisted Proof
In this paper we present a new topological tool which allows to prove the existence of Shilnikov homoclinic or heteroclinic solutions. We present an application of this method to the Michelson system y′′′ + y′ + 0.5y = c [16]. We prove that there exists a countable set of parameter values c for which a pair of the Shilnikov homoclinic orbits to the equilibrium points (±c√2, 0, 0) appear. This r...
متن کاملNumerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto-Sivashinsky Equation
We present numerical results and computer assisted proofs of the existence of periodic orbits for the Kuramoto-Sivashinky equation. These two results are based on writing down the existence of periodic orbits as zeros of functionals. This leads to the use of Newton’s algorithm for the numerical computation of the solutions and, with some a posteriori analysis in combination with rigorous interv...
متن کاملFuzzy Sliding Mode for Spacecraft Formation Control in Eccentric Orbits
The problem of relative motion control for spacecraft formation flying in eccentric orbits is considered in this paper. Due to the presence of nonlinear dynamics and external disturbances, a robust fuzzy sliding mode controller is developed. The slopes of sliding surfaces of the conventional sliding mode controller are tuned according to error states using a fuzzy logic and reach the pre-define...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Mathematics with Applications
سال: 1986
ISSN: 0898-1221
DOI: 10.1016/0898-1221(86)90011-8